Issue3846.agda:14,1-20
rew  is not a legal rewrite rule, since the head symbol Nat is not a postulate, a function, or a constructor
when checking the pragma REWRITE rew
